منابع مشابه
Concurrent Hyland-Ong games
We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: on the one hand it is conservative with respect to standard Hyland-Ong games when interpreting purely functional programs as innocent strategies, while on the other hand it is much more expressive. The interpretation o...
متن کاملA note onG-preinvex functions
*Correspondence: [email protected] 1Department of Mathematics, Hanshan Normal University, Chaozhou, Guangdong 521041, China Full list of author information is available at the end of the article Abstract With the equivalent relationships between the G-generalized invexities and general invexities on the hand, we present two characterizations for G-preinvexity; we also discuss the relationships...
متن کاملrogressive Negotiation Ong istri Heterogeneous Cooperating Agents
Progressive negotiation is a strategy for resolving conflicts among distributed heterogeneous cooperating agents. This strategy aims at minimizing backtracking to previous solutions and provably ensures consistency of agents’ distributed solutions and convergence on a globallysatisfiable solution. The progressive negotiation strategy is enforced by a task-independent agent called Facilitator, w...
متن کاملDensity Continuity Versus Continuity
Real-valued functions of a real variable which are continuous with respect to the density topology on both the domain and the range are called density continuous. A typical continuous function is nowhere density continuous. The same is true of a typical homeomorphism of the real line. A subset of the real line is the set of points of discontinuity of a density continuous function if and only if...
متن کاملL Ong -run Trends in Labor Su P P Ly
The recent “benign” combination of strong output growth and low inflation has led to speculation that the potential growth rate of real GDP has increased. This paper exam ines trends in labor supply to see whether this source of GDP growth might have accelerated. Discussions of labor supply often focus on labor force p a rt i c i p ation. But other considerat i o ns—s u ch as the length of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 2011
ISSN: 0898-1221
DOI: 10.1016/j.camwa.2010.11.006